Перевод: со всех языков на все языки

со всех языков на все языки

equivalent extensions

См. также в других словарях:

  • Extensions of symmetric operators — In functional analysis, one is interested in extensions of symmetric operators acting on a Hilbert space. Of particular importance is the existence, and sometimes explicit constructions, of self adjoint extensions. This problem arises, for… …   Wikipedia

  • Multipurpose internet mail extensions — « MIME » redirige ici. Pour les autres significations, voir Mime (homonymie). Multipurpose Internet Mail Extensions (MIME) est un standard internet qui étend le format de données des courriels pour supporter des textes en différents… …   Wikipédia en Français

  • Multipurpose Internet Mail Extensions — Pile de protocoles 7.  Application 6.  Présentation 5.  Session 4.  Tr …   Wikipédia en Français

  • transportation — /trans peuhr tay sheuhn/, n. 1. the act of transporting. 2. the state of being transported. 3. the means of transport or conveyance. 4. the business of conveying people, goods, etc. 5. price of travel or transport by public conveyance; fare. 6.… …   Universalium

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… …   Wikipedia

  • LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… …   Encyclopédie Universelle

  • Écriture birmane — Birman Caractéristiques Type Alphasyllabaire Langue(s) Birman Direction De gauche à droite Historique Époque Du XIe siècle jusqu à nos jours …   Wikipédia en Français

  • Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that …   Wikipedia

  • Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»